java sealed class example